History of mathematical logic from leibnitz to peano
نویسندگان
چکیده
منابع مشابه
The History of Mathematical Logic
(vastly abbreviated and horribly simpliied) Michaa l Walicki 1997 The term \logic" may be, very roughly and vaguely, associated with something like \correct thinking". Aristotle deened a syllogism as \discourse in which, certain things being stated something other than what is stated follows of necessity from their being so." And, in fact, this intuition not only lies at its origin, ca. 500 BC,...
متن کاملfrom linguistics to literature: a linguistic approach to the study of linguistic deviations in the turkish divan of shahriar
chapter i provides an overview of structural linguistics and touches upon the saussurean dichotomies with the final goal of exploring their relevance to the stylistic studies of literature. to provide evidence for the singificance of the study, chapter ii deals with the controversial issue of linguistics and literature, and presents opposing views which, at the same time, have been central to t...
15 صفحه اولthe role of russia in transmission of energy from central asia and caucuses to european union
پس ازفروپاشی شوروی،رشد منابع نفت و گاز، آسیای میانه و قفقاز را در یک بازی ژئوپلتیکی انرژی قرار داده است. با در نظر گرفتن این منابع هیدروکربنی، این منطقه به یک میدانجنگ و رقابت تجاری برای بازی های ژئوپلتیکی قدرت های بزرگ جهانی تبدیل شده است. روسیه منطقه را به عنوان حیات خلوت خود تلقی نموده و علاقمند به حفظ حضورش می باشد تا همانند گذشته گاز طبیعی را به وسیله خط لوله مرکزی دریافت و به عنوان یک واس...
15 صفحه اولThe Interpretability Logic of Peano Arithmetic
PA is Peano arithmetic. The formula InterppA(r,/l) is a formalization of the assertion that the theory PA + a interprets the theory PA + , O (the variables a and are intended to range over codes of sentences of PA). We extend Solovay's modal analysis of the formalized provability predicate of PA, PrpA(x), to the case of the formalized interpretability relation Interp,,(x, y). The relevant modal...
متن کاملPeano Arithmetic and Hyper-ramsey Logic
It is known that PA(Q2), Peano arithmetic in a language with the Ramsey quantifier, is complete and compact and that its first-order consequences are the same as those of nj-CA0. A logic JFSiï^, called hyper-Ramsey logic, is defined; it is the union of an increasing sequence 3tf9lx Q JH^j Q JfOX^ Q ■ ■ ■ of sublogics, and ¿fa?, contains L(Q2). It is proved that VA(3?St„), which is Peano arithme...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Historia Mathematica
سال: 1975
ISSN: 0315-0860
DOI: 10.1016/0315-0860(75)90091-9